Wang Yafeng; Notes on Mathematical Modal Logic